Wild theories with o-minimal open core

نویسندگان

  • Philipp Hieronymi
  • Travis Nell
  • Erik Walsberg
چکیده

Let T be a consistent o-minimal theory extending the theory of densely ordered groups and let T ′ be a consistent theory. Then there is a complete theory T ∗ extending T such that T is an open core of T ∗, but every model of T ∗ interprets a model of T ′. If T ′ is NIP, T ∗ can be chosen to be NIP as well. From this we deduce the existence of an NIP expansion of the real field that has no distal expansion.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Structures Having O-minimal Open Core*

The open core of an expansion of a dense linear order is its reduct, in the sense of definability, generated by the collection of all of its open definable sets. In this paper, expansions of dense linear orders that have o-minimal open core are investigated, with emphasis on expansions of densely ordered groups. The first main result establishes conditions under which an expansion of a densely ...

متن کامل

Expansions of the Real Line by Open Sets: O-minimality and Open Cores

The open core of a structure R := (R; <; : : :) is deened to be the reduct (in the sense of deenability) of R generated by all of its deenable open sets. If the open core of R is o-minimal, then the topological closure of any deenable set has nitely many connected components. We show that if every deenable subset of R is nite or uncountable, or if R deenes addition and multiplication and every ...

متن کامل

Drought adaptations in wild barley (Hordeum spontaneum) grown in Iran

Wild barley contains a wide genetic diversity and therefore is adaptable to all kinds of harsh environments. The aim of this research was to determine the extent of drought stress adaptation within Hordeum spontaneum L. genotypes from different climates of Iran. From the primary population of 193 genotypes, a core set consisting of 18 genotypes, were selected based on the highest squared Euclid...

متن کامل

Expansions of the real line by open sets: o-minimality and open cores

The open core of a structure R := (R, <, . . .) is defined to be the reduct (in the sense of definability) of R generated by all of its definable open sets. If the open core of R is o-minimal, then the topological closure of any definable set has finitely many connected components. We show that if every definable subset of R is finite or uncountable, or if R defines addition and multiplication ...

متن کامل

Extensions of ordered theories by generic predicates

Given a theory T extending that of dense linear orders without endpoints (DLO), in a language L ⊇ {<}, we are interested in extensions T ′ of T in languages extending L by unary relation symbols that are each interpreted in models of T ′ as sets that are both dense and codense in the underlying sets of the models. There is a canonically “wild” example, namely, T = Th(〈R, <,+, ·〉) and T ′ = Th(〈...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 169  شماره 

صفحات  -

تاریخ انتشار 2018